You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 161 - 200 hits of 1035. Search took 0.00 seconds.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

Search results for coq :

Filename	Distribution	File size
coq-ide-8.2pl1-2mdv2010.1.x86_64.rpm	Mandriva 2010	4534 kB
coq-ide-8.2pl1-2mdv2010.1.i586.rpm	Mandriva 2010	4165 kB	Info
coq-ide-8.20.0-1.1.x86_64.rpm	OpenSuSE	23143 kB
coq-ide-8.20.0-1.1.x86_64.rpm	openSUSE Tumbleweed	23143 kB
coq-ide-8.20.0-1.1.i586.rpm	openSUSE Tumbleweed	22232 kB
coq-ide-8.2-2mdv2010.0.x86_64.rpm	Mandriva 2010	4526 kB
coq-ide-8.2-2mdv2010.0.i586.rpm	Mandriva 2010	4159 kB	Info
coq-ide-8.2-1mdv2009.1.x86_64.rpm	Mandriva 2009	4489 kB
coq-ide-8.2-1mdv2009.1.i586.rpm	Mandriva 2009	4120 kB	Info
coq-ide-8.1pl3-1mdv2009.0.x86_64.rpm	Mandriva 2009	3585 kB
coq-ide-8.1pl3-1mdv2009.0.i586.rpm	Mandriva 2009	3372 kB	Info
coq-ide-8.1pl1-1mdv2008.0.x86_64.rpm	Mandriva 2008	5068 kB
coq-ide-8.1pl1-1mdv2008.0.i586.rpm	Mandriva 2008	4789 kB	Info
coq-ide-8.19.2-bp156.68.3.x86_64.rpm	OpenSuSE	19756 kB
coq-ide-8.19.2-bp156.68.11.x86_64.rpm	OpenSuSE	19754 kB
coq-ide-8.19.2-68.51.i586.rpm	openSUSE Tumbleweed	22080 kB
coq-ide-8.19.2-68.50.x86_64.rpm	openSUSE Tumbleweed	23109 kB
coq-ide-8.19.2-68.12.x86_64.rpm	openSUSE Tumbleweed	23105 kB
coq-ide-8.19.2-68.12.i586.rpm	openSUSE Tumbleweed	22083 kB
coq-ide-8.19.2-1.2.x86_64.rpm	OpenSuSE	23113 kB
coq-ide-8.19.2-1.2.x86_64.rpm	openSUSE Tumbleweed	23113 kB
coq-ide-8.19.2-1.2.riscv64.rpm	OpenSuSE	23317 kB
coq-ide-8.19.2-1.1.x86_64.rpm	OpenSuSE	23109 kB
coq-ide-8.19.2-1.1.riscv64.rpm	OpenSuSE	23337 kB
coq-ide-8.19.1-bp157.1.6.x86_64.rpm	OpenSuSE	19746 kB
coq-ide-8.19.1-bp156.1.14.x86_64.rpm	OpenSuSE	19745 kB
coq-ide-8.19.1-bp156.1.14.s390x.rpm	OpenSuSE	19661 kB
coq-ide-8.19.1-bp156.1.14.ppc64le.rpm	OpenSuSE	19869 kB
coq-ide-8.19.1-bp156.1.14.aarch64.rpm	OpenSuSE	20892 kB
coq-ide-8.19.1-1.3.x86_64.rpm	OpenSuSE	23522 kB
coq-ide-8.16.1-1.mga9.x86_64.rpm	Mageia Cauldron	21625 kB	Info
coq-ide-8.16.1-1.mga9.x86_64.rpm	Mageia 9	21625 kB	Info
coq-ide-8.16.1-1.mga9.i586.rpm	Mageia Cauldron	21489 kB	Info
coq-ide-8.16.1-1.mga9.i586.rpm	Mageia 9	21489 kB	Info
coq-ide-8.16.1-1.mga9.armv7hl.rpm	Mageia Cauldron	21917 kB
coq-ide-8.16.1-1.mga9.armv7hl.rpm	Mageia 9	21917 kB
coq-ide-8.16.1-1.mga9.aarch64.rpm	Mageia Cauldron	23048 kB
coq-ide-8.16.1-1.mga9.aarch64.rpm	Mageia 9	23048 kB
coq-ide-8.13.2-bp155.2.5.x86_64.rpm	openSUSE Leap 15	5491 kB
coq-ide-8.13.2-bp155.2.13.x86_64.rpm	OpenSuSE	5485 kB	Info

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15